From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach
نویسندگان
چکیده
The design processes of todays more and more complex automation systems require computer-based support to maintain their manageability. As a base for that, the authors introduce a holistic design approach for these systems. Requirements on the system to be designed are represented by an extended feature model which serves as consistent requirements model during the entire design process. A grammar-based synthesis applies formalised expert knowledge to generate solutions to these requirements. The paper’s main contribution is to combine formalisms from overlapping areas of artificial intelligence and software engineering to obtain a holistic design process for industrial automation systems.
منابع مشابه
Technical performance evaluation of ERP packages with two-stage DEA approach
Enterprise resources planning (ERP) systems attract many attentions from industry sector because of their ability to facilitate and integrate the enterprise operations. However, many expenses accompany the implementation of these systems and consecutive changes which doing a precise and comprehensive performance evaluation a necessary part of this process. These evaluations should consider oper...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملDealing with Security Requirements for Socio-Technical Systems: A Holistic Approach
Security has been a growing concern for most large organizations, especially financial and government institutions, as security breaches in the socio-technical systems they depend on are costing billions. A major reason for these breaches is that socio-technical systems are designed in a piecemeal rather than a holistic fashion that leaves parts of a system vulnerable. To tackle this problem, w...
متن کاملIntegrated Approach for Cellular Manufacturing a Case Study (TECHNICAL NOTE)
To cope with fast changing customer requirements, industrial demands and to meet stringent specifications of customers Cellular Manufacturing Systems has become an effective tool in hands of manufacturers. Most of the published literature on cell formation earlier considers only the data available in the route sheets and ignored subproblems associated with cell formation. There is a need to dev...
متن کاملA Quality Function Deployment Based Approach in Service Quality Analysis to Improve Customer Satisfaction
In metropolitan development management, quality of public services is influential in every public sector to satisfaction of citizens on quality of services. Nowadays, satisfaction are with such important matters that should be considered in the planning, implementation, management and maintenance of many public services such as subway, transportation, traffics, parks, markets and so on. Th...
متن کامل